type A = {
  b(): (B)
}
